<?php
// Vérifier que le fichier est inclus à index.php et vérifier que l'utilisateur soit connecté
// Sinon arrêter le script
//
if(!defined("VERIFINCLUDE") || VERIFINCLUDE!=0 || !isset($_SESSION["loginCl"]) || $_SESSION["loginCl"] == "") die();

// Detruire la session
//
session_unset();
session_destroy();

// Afficher un message de notification
//
print("<script type=\"text/javascript\" src=\"js/logout.js\"></script>");
?>